Skip to main content

第13-14章 范式

第13-14章 范式​

  • 第一范式：当且仅当一个关系R中，每一个元组的每一个属性只含有一个值时，该关系属于第一范式。 要求属性是原子的
  • 第二范式：对于关系R，若R∈1NF，且每一个非主属性完全函数依赖于码，则R∈2NF。 不能部分依赖于码
  • 第三范式：对于关系R，若R∈2NF，且每个非主属性都不传递依赖于码，则R∈3NF。
  • 对于关系R，若R∈1NF，且对于所有非平凡的函数依赖(右边属性不在左边），其决定因素是候选码，则R∈BCNF。
  • BCNF是基于函数依赖的最高范式 但不是数据库模式设计的最高范式
  • 如果X包含Y或 X∪Y=U，则X→→Y是平凡的多值依赖
  • 对于关系R，若R∈1NF，且所有非平凡的多值依赖，其决定因素是候选码，则R∈4NF。
  • 证明无损分解：R = (A, B, C, D, E)分解为(A, B, C) and (A, D, E)，只要(A, B, C) 里面A可以决定BC或者(A, D, E)里面A可以决定DE，就可以是无损分解